Utilisation de l’algèbre linéaire en théorie des automates

نویسنده

  • Jean-Eric Pin
چکیده

Techniques from linear algebra are used to study the synchronization problem in automata theory. Let A = (Q, X) be a finite automaton. Each word m in X∗ defines a map from Q to Q ; the rank of m in A is the integer Card{qm | q ∈ Q}. A word of rank 1 maps all states onto a unique state. Such a word is called a synchronizing word (if such a word exists the automaton itself is called a synchronizing automaton). Let A be a synchronizing automaton with n states. Our main result asserts that if there is a letter of rank ≤ 1 + log 2 n in A, then there exists a synchronizing word of length ≤ (n − 1).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

MPRI, Fondations mathématiques de la théorie des automates

Question 3. Soit M un monöıde de U et soit e ∈ E(M). Montrer que l’application α : M → eM définie par α(s) = es est un morphisme de monöıdes. On note π la projection de M sur M/MeM . Montrer que l’application γ : M → eM × (M/MeM) définie par γ(s) = (α(s), π(s)) est un morphisme injectif. Question 4. En déduire que la variété U est engendrée par les monöıdes de la forme S, où S est un semigroupe...

متن کامل

Une conjecture en théorie des partitions

Nous présentons une conjecture qui se formule de manière élémentaire dans le cadre de la théorie des partitions.

متن کامل

Nonlinear phonological analysis in assessment of protracted phonological development in Mandarin Utilisation de l’analyse phonologique non linéaire dans l’évaluation des retards du développement phonologique en mandarin

Abstract Nonlinear phonological theories have motivated phonological assessment and intervention practices for English for two decades (e.g., Bernhardt & Stoel-Gammon, 1994; Bernhardt & Stemberger, 2000). Such practices focus on all aspects of the phonological system from word structure to segments (phonemes) and features, highlighting and capitalizing on a client’s strengths while addressing h...

متن کامل

L’interprétation Matricielle De La Théorie De Markoff Classique

On explicite l’approche de Cohn (1955) de la théorie de Markoff. On montre en particulier comment l’arbre complet des solutions de l’équation diophantienne associée apparaît comme quotient du groupe GL(2,Z) des matrices 2× 2 à coefficients entiers et de déterminant ±1 par un sous-groupe diédral D6 à 12 éléments. Différents développements intermédiaires sont faits autour du groupe Aut(F2) des au...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004